$\forall$$p$:$\mathbb{P}$, $d$:Dec($p$). ($\uparrow$dectt($d$)) $\Leftarrow\!\Rightarrow$ $p$